.pref:hover {
    -moz-box-shadow: 0px 0px 1px 1px grey;
    -moz-border-radius: 5px;
}

.prefname  {
    color: darkRed;
}
.pref {
    color: darkSlateBlue;
}
* {
    font-family: monospace;
}
.prefval {
    color: black;
}
.prefdescription {
    color: SeaGreen;
}

.prefToggle {
    color: darkBlue;
	-moz-border-radius: 4px;
    border: 1px solid transparent;   
	cursor: pointer;
}
.prefToggle[checked] {
    color: : darkBlue;
    background: AliceBlue;
    border: 1px solid rgba(0,0,100,0.9);   
}
.prefToggle:hover {
    -moz-box-shadow: 0px 0px 1px 1px yellow;
	border: 1px solid yellow;   
    color: darkred;
}

.pref,div.prefdescription{
	padding-left:2em;
}